$a$ in dom($M$.pre) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$a$ $\in$ dom(1of(2of(2of(2of($M$)))))